Skip to content

Update production domain name#13

Merged
crwood merged 2 commits intomainfrom
650.production-domain-name
Feb 10, 2022
Merged

Update production domain name#13
crwood merged 2 commits intomainfrom
650.production-domain-name

Conversation

@exarkun
Copy link
Copy Markdown
Collaborator

@exarkun exarkun commented Feb 10, 2022

Use the new name.

@crwood crwood merged commit e59db7c into main Feb 10, 2022
@crwood crwood deleted the 650.production-domain-name branch February 10, 2022 18:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants